COMMENT ⊗   VALID 00004 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.TURN ON "α"
C00005 00003	.begin nofill
C00009 00004	.cb Publications
C00021 ENDMK
C⊗;
.TURN ON "α";
.TURN ON "{";
.TURN ON "∂";
.TURN ON "_" FOR "#"
.DEVICE XGP;
.FONT 1 "BAXL30"; TURN ON "%";
.FONT 2 "BAXM30";
.FONT 3 "basb30";
.FONT 4 "SUB";
.FONT 5 "SUP";
.FONT 6 "BASL35";
.FONT 7 "NGR25";
.FONT 8 "MATH30";
.FONT 9 "FIX25";
.FONT A "GRKB30";
.at "⊗"word" "	⊂ ("%2word%* ") ⊃;
.COUNT ITEM
.COUNT SUBITEM IN ITEM
.COUNT NOTE inline
.AT "~" TEXT "~"; ⊂
.SEND NOTES ⊂
{NOTE!}. TEXT

.⊃
.⊃;
.AT "$" ⊂ NEXT NOTE; ("%5"&NOTE!&"%*");⊃;
.AT "#" ⊂NEXT ITEM;(ITEM!);⊃;
.AT "&" ⊂NEXT SUBITEM;ONCE INDENT 10;(ITEM!&"."&SUBITEM!);⊃;
.PAGE FRAME 53 HIGH 80 WIDE;
.area heading lines 1 to 3;
.area text lines 4 to 53;
.every heading (,,{page});
.SECNUM←0
.MACRO NS(A)  ⊂ SECNUM←SECNUM+1
.SKIP TO COLUMN 1
.ONCE CENTER;
%3{SECNUM}.  A%*
.  ⊃
.macro cb(head) ⊂ if lines<7 then next page else skip; once center; select 3
head

.⊃
.macro bb(head) ⊂ if lines<7 then next page else skip; once select 3
head

.⊃

.count eq inline  from 1 to 999;
.at "!!" lab " " ⊂
.lab next eq
.eq})∂8{
.⊃

.<<formulas are signalled by !! followed by an optional identifier followed
. by colon followed by the formula.  A reference to formula nn is written {eq nn}
.!!e1:	x=x
.!!e2:	y=y
.
.Equation {eq e2} comes after {eq e1}.
.>>

.COMPACT; INDENT 0;
.AT 8 ⊂ONCE INDENT 5;⊃
.NEXT PAGE
.PLACE TEXT
.SELECT 1
.SKIP 3

.at "qnil" ⊂"%1NIL%*"⊃
.at "qadd" ⊂"%3add%*"⊃
.at "qaa" ⊂"%3aa%*"⊃
.at "qad" ⊂"%3ad%*"⊃
.at "qeq" ⊂"%3eq%*"⊃
.at "qif" ⊂"%3if%*"⊃
.at "qthen" ⊂"%3then%*"⊃
.at "qelse" ⊂"%3else%*"⊃
.at "qda" ⊂"%3da%*"⊃
.at "qdd" ⊂"%3dd%*"⊃
.at "qa" ⊂"%3a%*"⊃
.at "qn" ⊂"%3n%*"⊃
.at "qd" ⊂"%3d%*"⊃
.begin nofill
                     Biography of John McCarthy 
.skip 2
BORN:  September 4, 1927 in Boston, Massachusetts

EDUCATION:
	B.S.  (Mathematics) California Institute of Technology, 1948
	Ph.D. (Mathematics) Princeton University, 1951

HONORS AND SOCIETIES:
	American Academy of Arts and Sciences
	American Society for the Advancement of Science
	American Mathematical Society
	Association for Computing Machinery
	IEEE
	Sigma Xi
	Sloan Fellow in Physical Science, 1957-59
	ACM National Lecturer, 1961
	A.M. Turing Award from Association for Computing Machinery, 1971
	Editorial Board, Artificial Intelligence Journal, 1975 - present
	Academic Advisor, National Legal Center for Public Information, 1976 - present
	Board of Directors, Information International, Inc.
	Sigma Xi National Lecturer, 1977

PROFESSIONAL EXPERIENCE:
	Proctor Fellow, Princeton University, 1950-51
	Higgins Research Instructor in Mathematics,
		Princeton University, 1951-53
	Acting Assistant Professor of Mathematics,
		Stanford University, Sept. 1953 - Jan. 1955
	Assistant Professor of Mathematics, Dartmouth
		College, Feb. 1955 - June 1958
	Assistant Professor of Communication Science,
		M.I.T., 1958 - 1961
	Associate Professor of Communication Science,
		M.I.T., 1961 - 1962
	Professor of Computer Science
		Stanford University, 1962 - present
	Director, Artificial Intelligence Laboratory
		Stanford University, 1965 - present

PROFESSIONAL RESPONSIBILITIES AND SCIENTIFIC INTERESTS:
	With Marvin Minsky organized and directed the Artificial
		Intelligence Project at M.I.T.

	Organized and directs Stanford Artificial Intelligence Laboratory

	Developed the LISP programming system for computing with
		symbolic expressions, participated in the development
		of the ALGOL 58 and the ALGOL 60 languages.  Present
		scientific work is in the fields of Artificial
		Intelligence, Computation with Symbolic Expressions,
		Mathematical Theory of Computation, Time-Sharing computer
		systems.

.end
.skip 3
.cb Publications

%3McCarthy, J. (1951)%1: "Projection Operators and Partial Differential Equations" Ph.D.
Thesis, Princeton University.

%3McCarthy, J. (1952)%1: "A Method for the Calculation of Limit Cycles by Successive
Approximation" in Contributions to the Theory of Nonlinear Oscillations II, 
Annals of Mathematics Study No. 29, Princeton University, pp. 75-79.

%3McCarthy, J. (1953)%1: "An Everywhere Continuous Nowhere Differentiable Function,"
American Mathematical Monthly, December 1953, p. 709.

%3McCarthy, J. (1954)%1:  "A Nuclear Reactor for Rockets" Jet Propulsion, January 1954.

%3McCarthy, J. (1955)%1:  "The Stability of Invariant Manifolds"
Applied Mathematics Laboratory Technical Report	No. 36, Stanford University, 25 pp.

%3McCarthy, J. (1956)%1:  "The Inversion of Functions Defined by Turing Machines,"
in %2Automata Studies, Annals of Mathematical Study No. 34,%1
Princeton, pp. 177-181.

%3McCarthy, J. (1956)%1:  "Aggregation in the Open Leontief Model,"
in Progress Report of Dartmouth Mathematics Project.

%3McCarthy, J. (1956)%1:  "Measures of the Value of Information,"
National Academy of Science, September 1956.

%3McCarthy, J. (1956)%1:  Co-editor with Dr. Claude E. Shannon of Automata
Studies, Annals of Mathematics Study No. 34.

%3McCarthy, J. (1960)%1: "Recursive Functions of Symbolic Expressions and their
Computation by Machine," Comm. ACM, April 1960.

%3McCarthy, J. (1960)%1: "Programs with Common Sense," Proceedings of the Teddington
Conference on the Mechanization of Thought Processes H.M. Stationery Office, 1960.

%3McCarthy, J. (with 12 others) (1960)%1  "ALGOL 60", Numerische Mathematik, March
1960, also in Comm. ACM May 1960 and Jan. 1963.

%3McCarthy, J. (1961)%1: "A Basis for Mathematical Theory of Computation," Proc.
Western Joint Computer Conf., May 1961, pp. 225-238.

%3McCarthy, J. (1962)%1: "Time-Sharing Computing Systems," in Management and the Computer
of the Future (Greenberger, ed.), MIT Press.

%3McCarthy, J. (with Abrahams, Edward, Hart, and Levin) (1962)%1: 
%2LISP 1.5 Programmer's Manual, %1MIT Computation Center, Cambridge, Mass., 

%3McCarthy, J. (1962)%1: "Computer Programs for Checking Mathematical Proofs," 
Amer. Math. Soc. Proc. Symposia in Pure Math., Vol. 5.

%3McCarthy, J. (1963)%1: "Towards a Mathematical Theory of Computation," in Proc.
IFIP Congress 62, North-Holland, Amsterdam.

%3McCarthy, J. (1963)%1: "A Basis for a Mathematical Theory of Computation," 
of Braffort and Hirschberg (eds.), Computer Programming and
Formal Systems, North-Holland, Amsterdam, pp. 33-70.

%3McCarthy, J. (1963)%1: "A Time-Sharing Debugging System for a Small Computer," 
(with Boilen, Fredkin and Licklider), 
Proc. AFIPS 1963 Spring Joint Computer Conf., Sparten Books, Detroit, pp. 51-57.

%3McCarthy, J. (1963)%1: "The Linking Segment Subprogram Language and Linking Loader
Programming Languages," Comm. ACM, July 1963.
(with F. Corbato and M. Daggett),

%3McCarthy, J. (1965)%1: "Problems in the Theory of Computation," in Proc. IFIP
Congress 65, Spartan, Washington, D.C..

%3McCarthy, J.  (1966)%1: "A Formal Description of a Subset of Algol,"
Formal Language Description Languages for Computer Programming,
T.B. Steel, Jr. (ed.), North-Holland Publ. Co., Amsterdam, pp. 1-12.

%3McCarthy, J. (1968%1:  "Time-Sharing Computer Systems," in Conversational Computers,
William Orr (ed), Wiley Publishing Company.

%3McCarthy, J. (1966)%1:  "Information," Scientific American, Vol. 215.

%3McCarthy, J. (1967)%1:  "THOR - A Display Based Time-Sharing System," 
(with D. Brian,	G. Feldman, and J. Allen)
AFIPS Conf. Proc., Vol. 30, (FJCC) Thompson, Washington, D.C..

%3McCarthy, J. (1967)%1:  "Computer Control of a Hand and Eye," in Proc. Third
All-Union Conference on Automatic Control (Technical Cybernetics), Nauka, Moscow, 
(Russian).

%3McCarthy, J. (1968)%1:  "Programs with Common Sense," in M. Minsky (ed.), 
Semantic Information Processing, MIT Press, Cambridge, Mass.

%3McCarthy, J. (1968)%1:  "A Computer with Hands, Eyes, and Ears," 
(with L. Earnest, D. Reddy, P. Vicens) 
Proc. AFIPS Conf. (FJCC).

%3McCarthy, J. (1969)%1:  "Some Philosophical Problems from the Standpoint of 
Artificial Intelligence," 
(with P. Hayes), 
in D. Michie (ed), Machine Intelligence 4, American Elsevier, New York, NY.

%3McCarthy, J. (1972)%1:  "The Home Information Terminal," Man and Computer, 
in Proceedings International Conference, Bordeaux 1970, S. Karger, N.Y.

%3McCarthy, J. (1973)%1:  "Mechanical Servants for Mankind," in Britannica 
Yearbook of Science and the Future.

%3McCarthy, J. (1974)%1:
Book Review: "Artificial Intelligence: A General Survey" by Sir James
Lighthill, in Artificial Intelligence, Vol. 5, No. 3.

%3McCarthy, J. (1974)%1:  "Modeling Our Minds" in Science Year 1975, The World 
Book Science Annual, Field Enterprises Educational Corporation, Chicago, ILL.

%3McCarthy, J. (1976)%1:  "The Home Information Terminal," invited presentation, 
AAAS Annual Meeting, Feb. 18-24, 1976, Boston.

%3McCarthy, J. (1976)%1:  "An Unreasonable Book," a review of COMPUTER POWER AND 
HUMAN REASON, by Joseph Weizenbaum (W.H. Freeman and Co., San Francisco, 1976)
in SIGART Newsletter 58, June 1976, also in Creative Computing,
Chestnut Hill, Massachusetts, 1976 and in "Three Reviews of
J. Weizenbaum's COMPUTER POWER AND HUMAN REASON, (with B. Buchanan
and J. Lederberg), Stanford Artificial Intelligence Laboratory
Memo 291, Computer Science Department, Stanford, CA.

%3McCarthy, J. (1977)%1:
Review: COMPUTER POWER AND HUMAN REASON, by Joseph Weizenbaum (W.H.
Freeman and Co., San Francisco, 1976) in Physics Today.

%3McCarthy, J. (1977)%1:
"The Home Information Terminal" to appear in The Grolier Encyclopedia.

%3McCarthy, J. (1977)%1:
"On The Model Theory of Knowledge" (with M. Sato, S. Igarashi, and
T. Hayashi), Proceedings of the Fifth International Joint Conference on Artificial Intelligence, M.I.T., 
Cambridge.

%3McCarthy, J. (1977)%1:
"Another SAMEFRINGE", in SIGART Newsletter No. 61, February 1977.

%3McCarthy, J. (1977)%1:
"Epistemological Problems of Artificial Intelligence", Proceedings
of the Fifth International Joint Conference on Artificial 
Intelligence, M.I.T., Cambridge, MA.

%3McCarthy, J. (1979)%1:
"Ascribing Mental Qualities to Machines" to appear in %2Philosophical Perspectives 
in Artificial Intelligence%1, Martin Ringle, ed., Harvester Press, July 1979.

%3McCarthy, John (1979)%1: 
"First Order Theories of Individual Concepts and Propositions", 
in Michie, Donald (ed.) %2Machine Intelligence 9%1, Scotland.

%3Cartwright, Robert and John McCarthy (1979)%1:
"Recursive Programs as Functions in a First Order Theory",
in %2Proceedings of the International Conference on Mathematical Studies of
Information Processing%1, Kyoto, Japan.

.<<The references in this bibliography (BIOJMC[J,PAT]) should be in a uniform style,
.because I often copy them to papers.  The last few are correct.  The
.publication in italics and first names spelled out.
.>>